Received: from virtual.bbc.co.uk (virtual.bbc.co.uk [132.185.132.199])
by odie.barnet.ac.uk (8.8.6/8.8.6) with ESMTP id UAA03751
for <willy@odie.barnet.ac.uk>; Thu, 18 Jun 1998 20:42:04 +0100
Received: from nic.funet.fi (nic.funet.fi [128.214.248.6])
by virtual.bbc.co.uk (8.8.5/8.8.5) with ESMTP id VAA19257
for <willy@bofh.ai>; Thu, 18 Jun 1998 21:08:55 +0100 (BST)
Received: from vger.rutgers.edu ([128.6.190.2]:37720 "EHLO vger.rutgers.edu" ident: "root") by nic.funet.fi with ESMTP id <19922-7151>; Thu, 18 Jun 1998 23:08:39 +0300
Received: by vger.rutgers.edu id <971016-11442>; Thu, 18 Jun 1998 15:55:29 -0400
Received: from bits.bris.ac.uk ([137.222.64.1]:1809 "EHLO BITS.bris.ac.uk" ident: "john") by vger.rutgers.edu with ESMTP id <970992-11442>; Thu, 18 Jun 1998 15:55:15 -0400
Received: from localhost (john@localhost) by BITS.bris.ac.uk (8.8.8/8.7.3) with SMTP id VAA31099 for <linux-arm@vger.rutgers.edu>; Thu, 18 Jun 1998 21:08:21 +0100
Date: Thu, 18 Jun 1998 21:08:20 +0100 (BST)
From: John Lindley <john@BITS.bris.ac.uk>
To: ARMLinuxmailinglist Linux <linux-arm@vger.rutgers.edu>